A Normalizing Intuitionistic Set Theory with Inaccessible Sets

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Normalizing Intuitionistic Set Theory with Inaccessible Sets

We propose a set theory strong enough to interpret powerful type theories underlying proof assistants such as LEGO and also possibly Coq, which at the same time enables program extraction from its constructive proofs. For this purpose, we axiomatize an impredicative constructive version of Zermelo-Fraenkel set theory IZF with Replacement and ω-many inaccessibles, which we call IZFRω. Our axioma...

متن کامل

The Intuitionistic Alternative Set Theory

Lano, K., The intuitionistic alternative set theory, Annals of Pure and Applied Logic 59 (1993) 141-156. The Alternative Set Theory, as defined in Vopenka and Sochor, demonstrates how a set theory which avoids actually infinite sets can serve as a framework for much of classical mathematics. This paper defines a theory which can serve as an intuitionistic analogue of AST, and examines motivatio...

متن کامل

A Random Set and Prototype Theory Interpretation of Intuitionistic Fuzzy Sets

An interpretation of intuitionistic fuzzy sets is proposed based on random set theory and prototype theory. The extension of fuzzy labels are modelled by lower and upper random set neighbourhoods, identifying those element of the universe within an uncertain distance threshold of a set of prototypical elements. These neighbourhoods are then generalised to compound fuzzy descriptions generated a...

متن کامل

Effecivity properties of intuitionistic set theory

Let us consider two-sorted intuitionistic set theory ZFI2 with sort 0 for natural numbers and sort 1 for sets. We shall show that well-known Church rule with parameters of sort 1 is admissible in ZFI2 in some rather strong sense, and get from this point the admissibility of Markov rule with all parameters in ZFI2, and also DP and numerical EP with set parameters for it in the same sense.

متن کامل

On Theory of Intuitionistic Fuzzy Sets (or Vague Sets)

In this paper we study about the higher order fuzzy sets specially about intuitionistic fuzzy sets (or vague sets).

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Logical Methods in Computer Science

سال: 2007

ISSN: 1860-5974

DOI: 10.2168/lmcs-3(3:6)2007